Automata logics, and infinite games - a guide to current research
- Författare
- (Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | viii, 385 sidor. ill. 24 cm. | |